Edmund „Ed“ Melson Clarke, Jr. (* 27. Juli 1945 in Newport News, Virginia) ist ein amerikanischer Informatiker und Turing-Preisträger. Zusammen mit Allen Emerson hat er Pionierarbeit auf dem Gebiet der Modellprüfung geleistet. Clarke ist Informatik-Professor an der Carnegie Mellon University. == Leben == Clarke wuchs in Smithfield, Virginia,...
Gefunden auf
https://de.wikipedia.org/wiki/Edmund_M._Clarke
Clarke, Edmund Melson, US-amerikanischer Informatiker, * 27. 7. 1945; Studium der Mathematik an der University of Virginia und der Duke University, später Studium der Informatik an der Cornell University (Ph. D. 1976), seit 1982 Professor für Informatik an der Carnegie Mellon University. Clarke ...
Gefunden auf
https://www.enzyklo.de/Lokal/42134
Keine exakte Übereinkunft gefunden.
